Stavros Tripakis : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres
Articles (74)
Les plus populaires
Liste
- Liste
- Tableau

1

[IEEE 2014 International Conference on the Internet of Things (IOT) - Cambridge, MA, USA (2014.10.6-2014.10.8)] 2014 International Conference on the Internet of Things (IOT) - Game theoretic secure localization in wireless sensor networks

Jha, Susmit, Tripakis, Stavros, Seshia, Sanjit A., Chatterjee, Krishnendu

Année:

2014

Langue:

english

Fichier:

PDF, 250 KB

english, 2014

2

Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware

Tripakis, Stavros, Limaye, Rhishikesh, Ravindran, Kaushik, Wang, Guoqiang, Andrade, Hugo, Ghosal, Arkadeb

Journal:

Journal of Signal Processing Systems

Année:

2016

Langue:

english

Fichier:

PDF, 2.71 MB

english, 2016

3

[AIP INTELLIGENT SYSTEMS AND AUTOMATION: 1st Mediterranean Conference on Intelligent Systems and Automation (CISA 08) - Annaba (Algeria) (30 June–2 July 2008)] AIP Conference Proceedings - Automatic Generation of Observers for the Dala Robot with TTG

Bensalem, Saddek, Bozga, Marius, Gallien, Matthieu, Ingrand, François Félix, Krichen, Moez, Tripakis, Stavros, Arioui, Hichem, Merzouki, Rochdi, Abbassi, Hadj Ahmed

Année:

2008

Langue:

english

Fichier:

PDF, 1.40 MB

english, 2008

4

Compositionality in the Science of System Design

Tripakis, Stavros

Journal:

Proceedings of the IEEE

Année:

2016

Langue:

english

Fichier:

PDF, 555 KB

english, 2016

5

Supervisory control and reactive synthesis: a comparative introduction

Ehlers, Rüdiger, Lafortune, Stéphane, Tripakis, Stavros, Vardi, Moshe Y.

Journal:

Discrete Event Dynamic Systems

Année:

2017

Langue:

english

Fichier:

PDF, 2.16 MB

english, 2017

6

Automatic Synthesis of Distributed Protocols

Alur, Rajeev, Tripakis, Stavros

Journal:

ACM SIGACT News

Année:

2017

Langue:

english

Fichier:

PDF, 1.10 MB

english, 2017

7

[IEEE 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Florence, Italy (2019.3.25-2019.3.29)] 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Cross-Layer Interactions in CPS for Performance and Certification

Chakraborty, Samarjit, Anderson, James H., Becker, Martin, Graeb, Helmut, Halder, Samiran, Metta, Ravindra, Thiele, Lothar, Tripakis, Stavros, Yeolekar, Anand

Année:

2019

Langue:

english

Fichier:

PDF, 2.40 MB

english, 2019

8

Testing Conformance of Real-Time Applications by Automatic Generation of Observers

Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 381 KB

english, 2005

9

Undecidable problems of decentralized observation and control on regular languages

Stavros Tripakis

Journal:

Information Processing Letters

Année:

2004

Langue:

english

Fichier:

PDF, 193 KB

english, 2004

10

Automatic generation of path conditions for concurrent timed systems

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis

Journal:

Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 1.19 MB

english, 2008

11

Timing Analysis and Code Generation of Vehicle Control Software using Taxys

Stavros Tripakis, Sergio Yovine

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2001

Langue:

english

Fichier:

PDF, 261 KB

english, 2001

12

Automated Composition of Module Chains

Stavros Tripakis

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 353 KB

english, 2002

13

Checking Timed Büchi Automata Emptiness Efficiently

Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani

Journal:

Formal Methods in System Design

Année:

2005

Langue:

english

Fichier:

PDF, 1.39 MB

english, 2005

14

Conformance testing for real-time systems

Moez Krichen, Stavros Tripakis

Journal:

Formal Methods in System Design

Année:

2009

Langue:

english

Fichier:

PDF, 2.02 MB

english, 2009

15

Folk theorems on the determinization and minimization of timed automata

Stavros Tripakis

Journal:

Information Processing Letters

Année:

2006

Langue:

english

Fichier:

PDF, 96 KB

english, 2006

16

Analysis of Timed Systems Using Time-Abstracting Bisimulations

Stavros Tripakis, Sergio Yovine

Journal:

Formal Methods in System Design

Année:

2001

Langue:

english

Fichier:

PDF, 354 KB

english, 2001

17

Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude

Bae, Kyungmin, Ölveczky, Peter Csaba, Feng, Thomas Huining, Lee, Edward A., Tripakis, Stavros

Journal:

Science of Computer Programming

Année:

2012

Langue:

english

Fichier:

PDF, 1.22 MB

english, 2012

18

[IEEE 2008 6th Workshop on Embedded Systems for Real-Time Multimedia (ESTImedia) - Atlanta, Georgia, USA (2008.10.23-2008.10.24)] 2008 IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia - Translating data flow to synchronous block diagrams

Lublinerman, Roberto, Tripakis, Stavros

Année:

2008

Langue:

english

Fichier:

PDF, 210 KB

english, 2008

19

Optimized implementation of synchronous models on industrial LTTA systems

Di Natale, Marco, Zhu, Qi, Sangiovanni-Vincentelli, Alberto, Tripakis, Stavros

Journal:

Journal of Systems Architecture

Année:

2014

Langue:

english

Fichier:

PDF, 1.59 MB

english, 2014

20

[IEEE 2008 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - St. Louis, MO, USA (2008.04.22-2008.04.24)] 2008 IEEE Real-Time and Embedded Technology and Applications Symposium - Modular Code Generation from Triggered and Timed Block Diagrams

Lublinerman, Roberto, Tripakis, Stavros

Année:

2008

Langue:

english

Fichier:

PDF, 533 KB

english, 2008

21

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - State identification problems for input/output transition systems

Saddek Bensalem,, Moez Krichen,, Stavros Tripakis,

Année:

2008

Langue:

english

Fichier:

PDF, 224 KB

english, 2008

22

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis

Cassez, Franck, Cassez, Franck, Cassez, Franck, Cassez, Franck, Tripakis, Stavros, Tripakis, Stavros, Tripakis, Stavros, Tripakis, Stavros, Altisen, Karine, Altisen, Karine, Altisen, Karine, Altisen,

Année:

2007

Langue:

english

Fichier:

PDF, 240 KB

english, 2007

23

[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems

Persson, Magnus, Torngren, Martin, Qamar, Ahsan, Westman, Jonas, Biehl, Matthias, Tripakis, Stavros, Vangheluwe, Hans, Denil, Joachim

Année:

2013

Langue:

english

Fichier:

PDF, 589 KB

english, 2013

24

[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - Determinate composition of FMUs for co-simulation

Broman, David, Brooks, Christopher, Greenberg, Lev, Lee, Edward A., Masin, Michael, Tripakis, Stavros, Wetter, Michael

Année:

2013

Langue:

english

Fichier:

PDF, 617 KB

english, 2013

25

[IEEE 2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV) - Agios Konstantinos, Samos, Greece (2014.7.14-2014.7.17)] 2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV) - On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations

Tripakis, Stavros, Limaye, Rhishikesh, Ravindran, Kaushik, Wang, Guoqiang

Année:

2014

Langue:

english

Fichier:

PDF, 798 KB

english, 2014

26

[ACM Press the ACM/IEEE 4th International Conference - Philadelphia, Pennsylvania (2013.04.08-2013.04.11)] Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems - ICCPS '13 - Cyber-physical system design contracts

Derler, Patricia, Lee, Edward A., Tripakis, Stavros, Törngren, Martin

Année:

2013

Langue:

english

Fichier:

PDF, 2.71 MB

english, 2013

27

[IEEE First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Shanghai, China (2007.06.6-2007.06.8)] First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems

Cassez, Franck, Tripakis, Stavros, Altisen, Karine

Année:

2007

Langue:

english

Fichier:

PDF, 239 KB

english, 2007

28

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams

Lublinerman, Roberto, Tripakis, Stavros

Année:

2008

Langue:

english

Fichier:

PDF, 262 KB

english, 2008

29

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - Library-based scalable refinement checking for contract-based design

Iannopollo, Antonio, Nuzzo, Pierluigi, Tripakis, Stavros, Sangiovanni-Vincentelli, Alberto

Année:

2014

Langue:

english

Fichier:

PDF, 544 KB

english, 2014

30

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - Fault diagnosis with dynamic observers

Cassez, Franck, Tripakis, Stavros

Année:

2008

Langue:

english

Fichier:

PDF, 185 KB

english, 2008

31

A modular formal semantics for Ptolemy

TRIPAKIS, STAVROS, STERGIOU, CHRISTOS, SHAVER, CHRIS, LEE, EDWARD A.

Journal:

Mathematical Structures in Computer Science

Année:

2013

Langue:

english

Fichier:

PDF, 1.08 MB

english, 2013

32

A Theory of Synchronous Relational Interfaces

Tripakis, Stavros, Lickly, Ben, Henzinger, Thomas A., Lee, Edward A.

Journal:

ACM Transactions on Programming Languages and Systems

Année:

2011

Langue:

english

Fichier:

PDF, 665 KB

english, 2011

33

Translating discrete-time simulink to lustre

Tripakis, Stavros, Sofronis, Christos, Caspi, Paul, Curic, Adrian

Journal:

ACM Transactions on Embedded Computing Systems

Année:

2005

Langue:

english

Fichier:

PDF, 808 KB

english, 2005

34

[ACM Press the 6th ACM & IEEE International conference - Seoul, Korea (2006.10.22-2006.10.25)] Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06 - Communication by sampling in time-sensitive distributed systems

Benveniste, Albert, Caillaud, Benoît, Carloni, Luca P., Caspi, Paul, Sangiovanni-Vincentelli, Alberto L., Tripakis, Stavros

Année:

2006

Langue:

english

Fichier:

PDF, 266 KB

english, 2006

35

[ACM Press the 7th ACM & IEEE international conference - Salzburg, Austria (2007.09.30-2007.10.03)] Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07 - Loosely time-triggered architectures based on communication-by-sampling

Benveniste, Albert, Caspi, Paul, di Natale, Marco, Pinello, Claudio, Sangiovanni-Vincentelli, Alberto, Tripakis, Stavros

Année:

2007

Langue:

english

Fichier:

PDF, 450 KB

english, 2007

36

Compositionality in synchronous data flow

Tripakis, Stavros, Bui, Dai, Geilen, Marc, Rodiers, Bert, Lee, Edward A.

Journal:

ACM Transactions on Embedded Computing Systems

Année:

2013

Langue:

english

Fichier:

PDF, 490 KB

english, 2013

37

[ACM Press the 2003 ACM SIGPLAN conference - San Diego, California, USA (2003.06.11-2003.06.13)] Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems - LCTES '03 - From simulink to SCADE/lustre to TTA

Caspi, Paul, Curic, Adrian, Maignan, Aude, Sofronis, Christos, Tripakis, Stavros, Niebert, Peter

Année:

2003

Langue:

english

Fichier:

PDF, 238 KB

english, 2003

38

Semantics-preserving multitask implementation of synchronous programs

Caspi, Paul, Scaife, Norman, Sofronis, Christos, Tripakis, Stavros

Journal:

ACM Transactions on Embedded Computing Systems

Année:

2008

Langue:

english

Fichier:

PDF, 781 KB

english, 2008

39

[ACM Press the 14th international conference - Chicago, IL, USA (2011.04.12-2011.04.14)] Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11 - The earlier the better

Geilen, Marc, Tripakis, Stavros, Wiggers, Maarten

Année:

2011

Langue:

english

Fichier:

PDF, 776 KB

english, 2011

40

[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - Requirements for hybrid cosimulation standards

Broman, David, Greenberg, Lev, Lee, Edward A., Masin, Michael, Tripakis, Stavros, Wetter, Michael

Année:

2015

Langue:

english

Fichier:

PDF, 621 KB

english, 2015

41

[ACM Press the 6th ACM & IEEE International conference - Seoul, Korea (2006.10.22-2006.10.25)] Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06 - A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling

Sofronis, Christos, Tripakis, Stavros, Caspi, Paul

Année:

2006

Langue:

english

Fichier:

PDF, 333 KB

english, 2006

42

Checking timed Büchi automata emptiness on simulation graphs

Tripakis, Stavros

Journal:

ACM Transactions on Computational Logic

Année:

2009

Langue:

english

Fichier:

PDF, 284 KB

english, 2009

43

[ACM Press the 49th Annual Design Automation Conference - San Francisco, California (2012.06.03-2012.06.07)] Proceedings of the 49th Annual Design Automation Conference on - DAC '12 - Static dataflow with access patterns

Ghosal, Arkadeb, Limaye, Rhishikesh, Ravindran, Kaushik, Tripakis, Stavros, Prasad, Ankita, Wang, Guoqiang, Tran, Trung N., Andrade, Hugo

Année:

2012

Langue:

english

Fichier:

PDF, 885 KB

english, 2012

44

[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - Modularity vs. reusability

Lublinerman, Roberto, Tripakis, Stavros

Année:

2008

Langue:

english

Fichier:

PDF, 209 KB

english, 2008

45

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Modular code generation from synchronous block diagrams

Lublinerman, Roberto, Szegedy, Christian, Tripakis, Stavros

Année:

2008

Langue:

english

Fichier:

PDF, 363 KB

english, 2008

46

[ACM Press the tenth ACM international conference - Tampere, Finland (2012.10.07-2012.10.12)] Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '12 - An overview of the career of Paul Caspi

Benveniste, Albert, Lee, Edward A., Pouzet, Marc, Tripakis, Stavros, Maraninchi, Florence

Année:

2012

Langue:

english

Fichier:

PDF, 296 KB

english, 2012

47

[ACM Press the 6th International Workshop - Innsbruck, Austria (2012.10.01-2012.10.01)] Proceedings of the 6th International Workshop on Multi-Paradigm Modeling - MPM '12 - Viewpoints, formalisms, languages, and tools for cyber-physical systems

Broman, David, Lee, Edward A., Tripakis, Stavros, Törngren, Martin

Année:

2012

Langue:

english

Fichier:

PDF, 280 KB

english, 2012

48

[ACM Press the seventh IEEE/ACM/IFIP international conference - Taipei, Taiwan (2011.10.09-2011.10.14)] Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis - CODES+ISSS '11 - Correct and non-defensive glue design using abstract models

Tripakis, Stavros, Andrade, Hugo, Ghosal, Arkadeb, Limaye, Rhishikesh, Ravindran, Kaushik, Wang, Guoqiang, Yang, Guang, Kormerup, Jacob, Wong, Ian

Année:

2011

Langue:

english

Fichier:

PDF, 648 KB

english, 2011

49

[ACM Press the 14th International Conference - New Delhi, India (2014.10.12-2014.10.17)] Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 - Refinement calculus of reactive systems

Preoteasa, Viorel, Tripakis, Stavros

Année:

2014

Langue:

english

Fichier:

PDF, 291 KB

english, 2014

50

[IEEE 2014 Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014) - Lausanne, Switzerland (2014.10.19-2014.10.21)] 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) - Are interface theories equivalent to contract theories?

Nuzzo, Pierluigi, Iannopollo, Antonio, Tripakis, Stavros, Sangiovanni-Vincentelli, Alberto

Année:

2014

Langue:

english

Fichier:

PDF, 673 KB

english, 2014